Knihy od autora Jean-Francois Raskin

Zobrazeno 1 – 2 z 2 výsledků

1. 

   Formal Modeling and Analysis of Timed Systems

   Jean-Francois Raskin, P.S. Thiagarajan | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1542 Kč

   Koupit
2. 

   Automated Technology for Verification and Analysis

   Franck Cassez, Jean-Francois Raskin | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1542 Kč

   Koupit

Orientační termín doručení vidíte přímo v detailu knihy. Zjistěte více